Set VLC (or any video player) as your default for .mp4, .mkv, .avi and more — goodbye default Windows player. Settings → Apps → Default apps.